Referential Integrity in Multilevel Secure Databases
نویسندگان
چکیده
This paper studies referential integrity in multilevel relations with element-level labeling. Our principal contribution is resolution of an impasse left by previous work in this area. We show that the previous work leaves us with a choice of either accepting referential ambiguity, or severely curtailing the modeling power of multilevel relations. We then show how to escape this impasse by eliminating entity polyinstantiation, while retaining element polyinstantiation (as an option). We also discuss how entity polyinstantiation can be securely eliminated.
منابع مشابه
The semantics of an extended referential integrity for a multilevel secure relational data model
To prevent information leakage in multilevel secure data models, the concept of polyinstantiation was inevitably introduced. Unfortunately, when it comes to references through foreign key in multilevel relational data models, the polyinstantiation causes referential ambiguities. To resolve this problem, this paper proposes an extended referential integrity semantics for a multilevel relational ...
متن کامل3.3 Validity Checking
14 the multilevel security constraints that precisely characterize the validity of mul-tilevel relational databases. Our model-theoretic semantics is consistent with, and extends, the Bell-LaPadula model. Compared with existing approaches, our model-theoretic semantics maximizes believability without compromising integrity or introducing ambiguity. Contrary to the claim that integrity and secre...
متن کاملIntegrity in Multilevel Secure Database Management Systems
Integrity is usually considered to be at odds with security in multilevel databases. Integrity constraints enforce conditions on relations between data, while security constraints enforce separation between data. If an integrity constraint is defined over data at different security levels, a direct conflict results. However, the solution is not to sacrifice the integrity constraint altogether. ...
متن کاملA Nonmonotonic Typed Multilevel Logic for Multilevel Secure Database/Knowledge-Based Management Systems
This paper describes a logic we call Nonmonotonic Typed Multilevel Logic (NTML) for multilevel database applications. It also describes various approaches to viewing multilevel databases through NTML and discusses techniques for query evaluation and integrity checking.
متن کاملStarship Mission Destination Enterprise L Spying M 1 Rigel M 2 Enterprise L Spying M 1 ? Enterprise L ? Rigel M 2 5 Polyinstantiation Integrity Figure 6: Element-level Classiication 4.3 Tradeoo 4.2 Element-level Classiication
We characterized the information in a multilevel state of the world that is captured by a multilevel relational database. Based on the characterization, we formalized the security semantics of tuple-level and element-level data classiication schemes. Entity and referential integrity constraints for the multilevel relational model are derived from the security semantics. We also showed that the ...
متن کامل